let x: {-[key in keyof O]?: T};
